Validated Numerics for Pedestrians
نویسندگان
چکیده
The aim of this paper is to give a very brief introduction to the emerging area of validated numerics. This is a rapidly growing field of research faced with the challenge of interfacing computer science and pure mathematics. Most validated numerics is based on interval analysis, which allows its users to account for both rounding and discretization errors in computer-aided proofs. We will illustrate the strengths of these techniques by converting the well-known bisection method into a efficient, validated root finder.
منابع مشابه
Validated Numerics Meets Reachability Analysis for CPS Design (NII Shonan Meeting 2015-14)
Cyber-Physical Systems (CPSs) consist of computers that are coupled tightly to a physical environment through sensors and actuators. Both the hybrid systems and the dynamics research communities have produced formal tools that are very important for rigorous design of CPSs, namely reachability analysis and validated numerics, respectively. Unfortunately, CPS designers encounter some challenges...
متن کاملVision-based Pedestrian Detection: will Ants Help?
This work presents the vision-based system for detecting pedestrians in road environments implemented on the ARGO prototype vehicle developed by the University of Parma. The system is aimed at the localization of pedestrians in various poses, positions and clothing, and is not limited to moving people. Initially, attentive vision techniques relying on the search for specific characteristics of ...
متن کاملMultiscale Modeling of Pedestrian Dynamics: Individuality vs. Collectivity
The dynamics of human crowds are mainly ruled by mutual interactions among pedestrians. The latter develop indeed behavioral strategies based on their perception of the state of the surrounding environment, including especially the presence of neighboring individuals. For instance, when heading for a certain destination pedestrians normally deviate from their preferred paths in order to avoid c...
متن کاملRigorous numerics of tubular, conic, star-shaped neighborhoods of slow manifolds for fast-slow systems
We provide a rigorous numerical computation method to validate tubular neighborhoods of normally hyperbolic slow manifolds with the explicit radii for the fast-slow system { x′ = f(x, y, ), y′ = g(x, y, ). Our main focus is the validation of the continuous family of eigenpairs {λi(y; ), ui(y; )}i=1 of fx(h (y), y, ) over the slow manifold S = {x = h (y)} admitting the graph representation. In o...
متن کاملRelationship between Pedestrians’ Speed, Density and Flow Rate of Crossings through Urban Intersections (Case Study: Rasht Metropolis) (RESEARCH NOTE)
Travels within the city are done in different ways, by vehicle or on foot. Thus, inevitably, a part of the travel is always done on foot. Since intersections as traffic nodes are determinant factor in transportation network capacity, any disruption in them leads to severe reduction in network capacity. Unfortunately, pedestrian behavior has received little attention in Iran. While this is a ver...
متن کامل